Reductions And Np-Complete Proofs